transition graph meaning in English
转换图
转移图
Examples
- A possible solution to this problem is : adopting symbolic transition graph with assignment ( stga for short ) to model value - passing systems , introducing a predicate mu - calculus to characterize desired properties , and verifying value - passing concurrent processes using an " on - the - fly " algorithm
解决这个问题的一个方案是：使用带赋值符号迁移图( stga )作为并发传值进程的模型，使用谓词演算作为刻画性质的逻辑，并采用动态实例化的算法对传值并发进程直接进行模型检测。